Only-Knowing: Taking It Beyond Autoepistemic Reasoning
نویسندگان
چکیده
The idea of only-knowing a collection of sentences has been previously shown to have a close connection with autoepistemic logic. Here we propose a more general account of only-knowing that captures not only autoepistemic logic but default logic as well. This allows us not only to study the properties of default logic in terms of an underlying model of belief, but also the relationship among different forms of nonmonotonic reasoning, all within a classical monotonic logic characterized semantically in terms of possible worlds.
منابع مشابه
Complexity of Only Knowing: The Propositional Case
We study the computational properties of the propositional fragment of Levesque's logic of only knowing. In particular, we show that the problem of reasoning with only knowing in the propositional case lies at the second level of the polynomial hierarchy. Thus, it is as hard as reasoning in the majority of propositional formalisms for nonmonotonic reasoning, like default logic, circumscription ...
متن کاملOn the decidability and complexity of reasoning about only knowing
We study reasoning in Levesque’s logic of only knowing. In particular, we first prove that extending a decidable subset of first-order logic with the ability of reasoning about only knowing preserves decidability of reasoning, as long as quantifying-in is not allowed in the language, and define a general method for reasoning about only knowing in such a case. Then, we show that the problem of r...
متن کاملOn the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent’s rational beliefs on gradable propositions. It has recently been shown that, in the same way as autoepistemic logic generalizes answer...
متن کاملA Critical Reexamination of Default Logic, Autoepistemic Logic, and Only Knowing
Fifteen years of work on nonmonotonic logic has certainly increased our understanding of the area. However, given a problem in which nonmonotonic reasoning is called for, it is far from clear how one should go about modeling the problem using the various approaches. We explore this issue in the context on two of the best-known approaches, Reiter's default logic 1980] and Moore's autoepistemic l...
متن کاملOn the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief
Autoepistemic logic is an important formalism for nonmonotonic reasoning originally intended to model an ideal rational agent reflecting upon his own beliefs. Fuzzy autoepistemic logic is a generalization of autoepistemic logic that allows to represent an agent?s rational beliefs on gradable propositions. It has recently been shown that, in the same way as autoepistemic logic generalizes answer...
متن کامل